Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021 Code Sync 53:06 3 years ago 2 006 Далее Скачать
Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020 Zürich Friends of Haskell 1:14:15 Streamed 4 years ago 3 876 Далее Скачать
(Programming Languages) in Agda = Programming (Languages in Agda) by Philip Wadler Codegram 44:35 5 years ago 9 876 Далее Скачать
[PurPL Fest] (Programming Languages) in Agda = Programming (Languages in Agda) - Philip Wadler PurPL 47:08 4 years ago 187 Далее Скачать
Keynote: Writing good programs in functional languages (...) - Perdita Stevens | Lambda Days 2021 Code Sync 53:33 3 years ago 1 337 Далее Скачать
Now you try: writing your first Agda program Fredrik Nordvall Forsberg 0:44 3 years ago 303 Далее Скачать
Programming Language Foundations in Agda - Philip Lee Wadler Math UniPD 1:16:28 Streamed 5 years ago 3 586 Далее Скачать
Keynote: Excel meets Lambda - Andy Gordon, Simon Peyton Jones | Lambda Days 2021 Code Sync 50:38 3 years ago 1 262 Далее Скачать
Keynote: What every programmer should know about cognition | Felienne Hermans | Lambda Days 2022 Code Sync 54:26 2 years ago 1 150 Далее Скачать
PwL Remote #2 - Philip Wadler on Definitional Interpreters for Higher-Order Programming Languages PapersWeLove 1:39:54 7 years ago 1 019 Далее Скачать
Keynote: Why Functional Programming Matters to Kids by Michał Ślaski | Lambda Days 2023 Code Sync 57:51 1 year ago 1 184 Далее Скачать
